<html><body bgcolor=white  onload='parent.fileFinishedLoading();'>
Loading globals.html info file... 
<script language="javascript">
var ag=parent.ag;
if(ag== undefined) { alert('The code is not yet loaded'); }
ag(0,'/*1*/strchr_wrapper3@0:10');
ag(1,'/*2*/__ptrof_nocheck@0:8');
ag(2,'/*3*/__mkptr_string@0:9');
ag(3,'__ccuredInit@0:1');
ag(4,'abort_deepcopy@0:2');
ag(5,'foo@0:4');
ag(6,'strchr@0:3');

</script>Done</html>
